Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
91	The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-15 11:45:56 Computability theory Lambda calculus Recursion Theoretical computer science Type theory Combinatory logic Church encoding Initial algebra Primitive recursive function
92	Resource-Restricted Indifferentiability? Gr´egory Demay, Peter Gaˇzi, Martin Hirt, and Ueli Maurer Department of Computer Science, ETH Zurich, Switzerland {gregory.demay,peter.gazi,hirt,maurer}@inf.ethz.ch Abstract. A Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2014-06-19 17:23:20 Computability theory Mathematical logic Model theory Structure Universal algebra Reduction Symbol Sigma-algebra Decomposition of spectrum
93	A Theory of Indirection via Approximation Aquinas Hobor ∗† Robert Dockins† Andrew W. Appel † Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-11-03 14:04:21 Mathematical logic Software engineering Logic Formal languages Computability theory Models of computation Lambda calculus Formal methods Interpretation Syntactic predicate System F Monad
94	Analytic equivalence relations with ℵ1 -many classes: A computability theoretic approach. Antonio Montalb´an U.C. Berkeley Logic Colloquium Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2015-09-11 13:43:57
95	Temporal Higher-Order Contracts Tim Disney Cormac Flanagan Jay McCarthy Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2016-02-18 16:47:50 Lambda calculus Combinatory logic Logic in computer science Computability theory Functions and mappings Formal methods Monad Derivative Trace
96	PDF Document Add to Reading List Source URL: fritzo.org Language: English - Date: 2014-06-13 18:57:34 Logic in computer science Lambda calculus Theoretical computer science Computability theory Combinatory logic A New Kind of Science Programming language Computer programming
97	A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:32:31 Theoretical computer science Theory of computation Functions and mappings Function Computable function Algorithm characterizations Primitive recursive function Mathematics Computability theory Mathematical logic
98	Lowness Properties and Approximations of the Jump Santiago Figueira ∗ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2007-07-08 19:58:00 Theoretical computer science Mathematical logic Theory of computation Recursion Primitive recursive function Function Μ operator Fixed-point combinator Mathematics Computability theory Functions and mappings
99	Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppAN EXTENSION OF MULHOLLAND’S INEQUALITY BICHENG YANG Abstract. By introducing multi-parameters and using the way of weight coefficients and Add to Reading List Source URL: journals.yu.edu.jo Language: English - Date: 2012-02-24 11:21:41 Logic Computability theory Curry–Howard correspondence Logic in computer science Philosophy of computer science Type theory Symbol Mathematical logic Mathematics Proof theory
100	Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”, Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-23 07:52:00 Models of computation Order theory Philosophical logic Computability theory Equivalence relation Lambda calculus Preorder Modal logic Denotational semantics Mathematics Logic Mathematical logic